|
1.
|
Elements of Computer Security [electronic resource] / by David Salomon.
by Salomon, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
|
2.
|
Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.
by Almeida, José Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
3.
|
Networked Control Systems [electronic resource] / edited by Alberto Bemporad, Maurice Heemels, Mikael Johansson.
by Bemporad, Alberto | Heemels, Maurice | Johansson, Mikael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
|
4.
|
Guide to Three Dimensional Structure and Motion Factorization [electronic resource] / by Guanghui Wang, Q.M. Jonathan Wu.
by Wang, Guanghui | Wu, Q.M. Jonathan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
5.
|
Grids, Clouds and Virtualization [electronic resource] / edited by Massimo Cafaro, Giovanni Aloisio.
by Cafaro, Massimo | Aloisio, Giovanni | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
6.
|
Machine Learning for Vision-Based Motion Analysis [electronic resource] : Theory and Techniques / edited by Liang Wang, Guoying Zhao, Li Cheng, Matti Pietikäinen.
by Wang, Liang | Zhao, Guoying | Cheng, Li | Pietikäinen, Matti | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
7.
|
Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy.
by Dowek, Gilles | Lévy, Jean-Jacques | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
8.
|
Visualization of Time-Oriented Data [electronic resource] / by Wolfgang Aigner, Silvia Miksch, Heidrun Schumann, Christian Tominski.
by Aigner, Wolfgang | Miksch, Silvia | Schumann, Heidrun | Tominski, Christian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
9.
|
Analysis and Control of Boolean Networks [electronic resource] : A Semi-tensor Product Approach / by Daizhan Cheng, Hongsheng Qi, Zhiqiang Li.
by Cheng, Daizhan | Qi, Hongsheng | Li, Zhiqiang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
10.
|
A Short History of Mathematical Population Dynamics [electronic resource] / by Nicolas Bacaër.
by Bacaër, Nicolas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
11.
|
Applied Nonparametric Statistics in Reliability [electronic resource] / by M. Luz Gámiz, K. B. Kulasekera, Nikolaos Limnios, Bo Henry Lindqvist.
by Gámiz, M. Luz | Kulasekera, K. B | Limnios, Nikolaos | Lindqvist, Bo Henry | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
12.
|
Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek.
by Dowek, Gilles | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
13.
|
Human Recognition at a Distance in Video [electronic resource] / by Bir Bhanu, Ju Han.
by Bhanu, Bir | Han, Ju | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
14.
|
Distributed Video Sensor Networks [electronic resource] / edited by Bir Bhanu, Chinya V. Ravishankar, Amit K. Roy-Chowdhury, Hamid Aghajan, Demetri Terzopoulos.
by Bhanu, Bir | Ravishankar, Chinya V | Roy-Chowdhury, Amit K | Aghajan, Hamid | Terzopoulos, Demetri | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
15.
|
Research and Development in Intelligent Systems XXVII [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XVIII Proceedings of AI-2010, The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence / edited by Max Bramer, Miltos Petridis, Adrian Hopgood.
by Bramer, Max | Petridis, Miltos | Hopgood, Adrian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
16.
|
Advances in Systems Safety [electronic resource] : Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 / edited by Chris Dale, Tom Anderson.
by Dale, Chris | Anderson, Tom | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
17.
|
Introduction to Discrete Event Simulation and Agent-based Modeling [electronic resource] : Voting Systems, Health Care, Military, and Manufacturing / by Theodore T. Allen.
by Allen, Theodore T | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
18.
|
Rotation Transforms for Computer Graphics [electronic resource] / by John Vince.
by Vince, John | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
19.
|
Introduction to Software Process Improvement [electronic resource] / by Gerard O'Regan.
by O'Regan, Gerard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
20.
|
Virtual Manufacturing [electronic resource] / by Wasim Ahmed Khan, Abdul Raouf, Kai Cheng.
by Khan, Wasim Ahmed | Raouf, Abdul | Cheng, Kai | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|